perm filename C2.NEG[1,JRA] blob
sn#005862
filedate 1972-07-21 generic text, type T, neo UTF8
00100 ¬∀(X1)((LE(U X1) ∧ LE(X1 SUB1(J)) ∧ LE(SUB1(J) SUB1(CN))) → LE(A(X1) A(J))); 00200 ;